/*
 * pilha.h
 *
 *  Created on: 06/07/2012
 *      Author: annibal
 */

#ifndef PILHA_H_
#define PILHA_H_

#include <stdio.h>
#include <stdlib.h>
#include "automato.h"

typedef struct Elemento_ {
	Estado *estado;
	struct Elemento_ *prox;
} Elemento;

typedef struct {
	Elemento *topo;
} Pilha;

Pilha *novaPilha();
int pilhaVazia(Pilha *p);
void empilha(Estado *e, Pilha **p);
Estado* desempilha(Pilha **p);

#endif /* PILHA_H_ */
